Design for validation: An approach to systems validation

Every complex system built is validated in some manner. Computer validation begins with review of the system design. As systems became too complicated for one person to review, validation began to rely on the application of adhoc methods by many individuals. As the cost of the changes mounted and the expense of failure increased, more organized procedures became essential. Attempts at devising and carrying out those procedures showed that validation is indeed a difficult technical problem. The successful transformation of the validation process into a systematic series of formally sound, integrated steps is necessary if the liability inherent in the future digita-system-based avionic and space systems is to be minimized. A suggested framework and timetable for the transformtion are presented. Basic working definitions of two pivotal ideas (validation and system life-cyle) are provided and show how the two concepts interact. Many examples are given of past and present validation activities by NASA and others. A conceptual framework is presented for the validation process. Finally, important areas are listed for ongoing development of the validation process at NASA Langley Research Center

Solution plans and interactive problem solving

The concept of a "solution plan" is used to characterize the structure of interactive systems in which the user guides the solution process. A formalism for describing and analyzing solution plan structures is presented. The formalism can be used to define the role of the user in an interactive system. The solution plan approach to interaction is particularly applicable to problems which have an obvious graphical representation. An interactive graphics system for solving a class of routing problems is described. Suggestions for the application of the approach to other problems are included

Were Multiple Stressors a \u27Perfect Storm\u27 for Northern Gulf of Mexico Bottlenose Dolphins (Tursiops truncatus) in 2011?

An unusual number of near term and neonatal bottlenose dolphin (Tursiops truncatus) mortalities occurred in the northern Gulf of Mexico (nGOM) in 2011, during the first calving season after two well documented environmental perturbations; sustained cold weather in 2010 and the Deepwater Horizon oil spill (DWHOS). Preceding the stranding event, large volumes of cold freshwater entered the nGOM due to unusually large snowmelt on the adjacent watershed, providing a third potential stressor. We consider the possibility that this extreme cold and freshwater event contributed to the pattern of perinatal dolphin strandings along the nGOM coast. During the 4-month period starting January 2011, 186 bottlenose dolphins, including 46% perinatal calves (nearly double the percentage for the same time period from 2003-2010) washed ashore from Louisiana to western Florida. Comparison of the frequency distribution of strandings to flow rates and water temperature at a monitoring buoy outside Mobile Bay, Alabama (the 4th largest freshwater drainage in the U. S.) and along the nGOM coast showed that dolphin strandings peaked in Julian weeks 5, 8, and 12 (February and March), following water temperature minima by 2-3 weeks. If dolphin condition was already poor due to depleted food resources, bacterial infection, or other factors, it is plausible that the spring freshet contributed to the timing and location of the unique stranding event in early 2011. These data provide strong observational evidence to assess links between the timing of the DWHOS, other local environmental stressors, and mortality of a top local predator. Targeted analyses of tissues from stranded dolphins will be essential to define a cause of death, and our findings highlight the importance of considering environmental data along with biological samples to interpret stranding patterns during and after an unusual mortality event

Changing perceptions and practices regarding aspirin, nonsteroidal anti-inflammatory drugs, and cyclooxygenase-2 selective nonsteroidal anti-inflammatory drugs among US primary care providers

Peer Reviewedhttp://deepblue.lib.umich.edu/bitstream/2027.42/74775/1/j.1365-2036.2008.03836.x.pd

Exploring the role of hydrological pathways in modulating multi-annual climate teleconnection periodicities from UK rainfall to streamflow

An understanding of multi-annual behaviour in streamflow allows for better estimation of the risks associated with hydrological extremes. This can enable improved preparedness for streamflow-dependant services, such as freshwater ecology, drinking water supply and agriculture. Recently, efforts have focused on detecting relationships between long-term hydrological behaviour and oscillatory climate systems (such as the North Atlantic Oscillation – NAO). For instance, the approximate 7 year periodicity of the NAO has been detected in groundwater-level records in the North Atlantic region, providing potential improvements to the preparedness for future water resource extremes due to their repetitive, periodic nature. However, the extent to which these 7-year, NAO-like signals are propagated to streamflow, and the catchment processes that modulate this propagation, are currently unknown. Here, we show statistically significant evidence that these 7-year periodicities are present in streamflow (and associated catchment rainfall), by applying multi-resolution analysis to a large data set of streamflow and associated catchment rainfall across the UK. Our results provide new evidence for spatial patterns of NAO periodicities in UK rainfall, with areas of greatest NAO signal found in southwest England, south Wales, Northern Ireland and central Scotland, and show that NAO-like periodicities account for a greater proportion of streamflow variability in these areas. Furthermore, we find that catchments with greater subsurface pathway contribution, as characterised by the baseflow index (BFI), generally show increased NAO-like signal strength and that subsurface response times (as characterised by groundwater response time – GRT), of between 4 and 8 years, show a greater signal presence. Our results provide a foundation of understanding for the screening and use of streamflow teleconnections for improving the practice and policy of long-term streamflow resource management

Modeling Concurrency in Parallel Debugging

We propose a description language, Data Path Expressions (DPEs), for modeling the behavior of parallel programs. We have designed DPEs as a high-level debugging language, where the debugging paradigm is for the programmer to describe the expected program behavior and for the debugger to compare the actual program behavior during execution to detect program errors. We classify DPEs into five subclasses according to syntactic criteria, and characterize their semantics in terms of a hierarchy of extended Petri Net models. The characterization demonstrates the power of DPEs for modeling (true) concurrency. We also present predecessor automata as a mechanism for implementing the third subclass of DPEs, which expresses bounded parallelism. Predecessor automata extend finite state automata to recognize or generate partial ordering graphs as well as strings, and provide efficient event recognizers for parallel debugging. We briefly describe the application of DPEs race conditions, deadlock and starvation